Computational logic - PDFSEARCH.IO - Document Search Engine

Computational logic
Results: 652

#	Item
281	Geosci. Model Dev., 4, 435–449, 2011 www.geosci-model-dev.netdoi:gmd © Author(sCC Attribution 3.0 License. Geoscientific Add to Reading List Source URL: www.geosci-model-dev.net Language: English - Date: 2014-12-04 04:01:00 Computational science Partial differential equations Formal verification Logic in computer science Theoretical computer science Computer simulation Computational fluid dynamics Mathematical model Navier–Stokes equations Mathematics Science Applied mathematics
282	Computational approaches to analyze complex dynamic systems: model-checking and its applications. Part 2: Model-checking of timed transitions systems Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2013-04-03 20:03:57 Computer science Automata theory Concurrency Diagrams Petri net Formal verification Temporal logic Finite-state machine Modal logic Models of computation Applied mathematics Theoretical computer science
283	Reactive Noninterference Aaron Bohannon Benjamin C. Pierce Stephanie Weirich Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:04 Quantum complexity theory Circuit complexity NC Valuation Ch PP Activity Entailment Theoretical computer science Computational complexity theory Logic
284	Computational Logic and Human Thinking Robert Kowalski Imperial College London Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2013-11-05 03:35:48 Station Logic programming Train protection systems
285	Computational Logic and Legal Reasoning The British Nationality Act The University of Michigan Lease Termination Clause The World Health and UNICEF Annual Estimates of National Infant Immunisation Coverage Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2013-11-22 02:47:42 International relations Law Political philosophy Immigration Asylum and Nationality Act Australian nationality law Nationality law British nationality law Citizenship
286	Kinematic mental simulations in abduction and deduction Sangeet Suresh Khemlania,1, Robert Mackiewiczb, Monica Bucciarellic, and Philip N. Johnson-Lairdd,e,1 a Navy Center for Applied Research in Artiﬁcial Intelligence Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2013-10-01 08:19:42 Theoretical computer science Algorithm Mathematical logic Computational complexity theory Mental model Complexity NP Parallel computing Science Ethology Applied mathematics
287	BODC Numerical Model Simulation Metadata Questionnaire Please fill out as many fields in this questionnaire as possible and with as much detail as possible. Fields marked in bold must be completed. This form must be fill Add to Reading List Source URL: www.bodc.ac.uk Language: English - Date: 2014-04-01 09:23:36 Scientific modeling Computational science Electronic design automation Computer simulation Virtual reality British Oceanographic Data Centre Simulation MEMO Model Logic simulation Science Earth Environment
288	Secrets of the Mathematical Contest in Modeling Add to Reading List Source URL: www.carroll.edu Language: English - Date: 2011-03-24 13:17:30 Theoretical computer science Applied mathematics Greedy algorithm Operations research Mathematical optimization How to Solve It Computational complexity theory Mathematics Algorithm Mathematical logic
289	Faster Parsing by Supertagger Adaptation Jonathan K. Kummerfeld a Jessika Roesner b Tim Dawborn a a Add to Reading List Source URL: www.jkk.name Language: English - Date: 2015-04-07 13:36:10 Complexity classes Language Grammar Combinatory categorial grammar Combinatory logic Categorial grammar Syntax NP Linguistics Theoretical computer science Computational linguistics
290	Tutorial: Exact Numerical Computation in Algebra and Geometry Chee K. Yap Courant Institute of Mathematical Sciences New York University Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2009-07-27 23:31:09 Computational complexity theory Computational science Algorithm Mathematical logic Linear programming Analysis of algorithms PP Numerical analysis Theoretical computer science Applied mathematics Mathematics

UPDATE